refinement by bugFix