Made IndexTool output a little bit nicer.