Fixing migrations and adding student specs