Fix spurious typo