Bug fixes for options GUI