fix a typo in Record.java