bugfix in options system