bugfix: options