Ditch cleverref again