Fixing a bug where spring semester shows up as an unknown semester name