fix a funny typo