fixed small mistakes in prop refl