Tweaks to fix typos and clarify "anonymous letter"