Fixup tiny typo

Just something that caught my eye while reading ...