Small fixes to Student