Highlight \labelcref for real...