Changed some \refs to \crefs.