Tiny follow-up to #325

Fix some minor typos.