Fixed a bug in Stats.java.