Remove duplicate configuration item in settings file. This fixes #548