minor edit on World.java