restoring prettify(width) that got lost during a merge