Follow-up typo fixes for #327