minor improvements/bugfixes to the settings; issue #43 fixed