minor tweak of the output