FIX #1466 (partly), which was causing concprog001(ghci) to fail