Bugfix in options()