Remove spurious typo