Fix more mangling of diplayed error messages.
Fix more mangling of diplayed error messages.

alphalambda/codeworld,alphalambda/codeworld,pranjaltale16/codeworld,google/codeworld,google/codeworld,pranjaltale16/codeworld,alphalambda/codeworld,google/codeworld,pranjaltale16/codeworld