Fix issue #420
Fix issue #420

tgdavies/codeworld,parvmor/codeworld,three/codeworld,pranjaltale16/codeworld,venkat24/codeworld,alphalambda/codeworld,three/codeworld,parvmor/codeworld,google/codeworld,venkat24/codeworld,pranjaltale16/codeworld,parvmor/codeworld,three/codeworld,tgdavies/codeworld,google/codeworld,venkat24/codeworld,tgdavies/codeworld,alphalambda/codeworld,pranjaltale16/codeworld,google/codeworld,alphalambda/codeworld