FIX #1155: ghci -debug generates slightly odd message