Google fixes an unusual bug on Google Docs