Bugfix in Options