minor edits to google_docs.js