Fix minor typo

Probably not worth a republish in itself  ;)