Some fixes to Student.java