very minor changes to map.java