Minor update to INSTRUCTOR_NUMBEr