cleveref added to quickref