I'll fix here and elsewhere in the file.  Using ``"`` is entirely unconscious.