minor update in Refinement.lhs