Fix a typo in world.py