Improved output of repair()