Bugfix in options.xml