minor changes to Index.java