Tweaked format of output file for colors