Fix a typo

(thanks @cg505)