Remove a tiny typo