@yuhunglin can we lowercase 'Other' / 'Student' / 'Instructor' and use the dot notation whenever possible?