refinement error for better debugging