Remove not . isControl hint, spotted by the QuickCheck tests