Minor change to References.java to make it easier to read