Made small change to history.java