Output formatting, fixing HLT behavior