fix a misuse of \refl