tiny bugfix regarding the settings box