something done to statistics.java, not sure what