[#3260] Minor tweaks when proofreading