Minor grammatical fixes to #3339