[util] Tidy up output of disrom.pl