I know this would be a big thing to change, and I don't expect you to do it. But I do have to voice that I find it odd that these roles are under "student". I think user.roles would make more sense.