Fixed a bug in the robosub_settings file.