Fixes #840
Fixes #840

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