Ah, that must be Google Docs messing up my normal ascii quotes (I had a similar issue with some characters on my Android phone earlier). Thanks.