Minor edits, mostly adding curly quotes