small change, fixes MapDemo.java bug