Removing an annoying stray typo