tweak formatting for windows output