Fix stupid typo elsewhere