Bug fix in the settings file.

Fix for #20