got cleveref to work again