Fix failing students_spec