Fix the way in the +RTS --info output