Problems with package cleveref (and the corresponding command \cref{}) are avoided by rolling back to "ordinary" \ref{} for now.