How Bad Was Google's Deindexing Bug?