bugfix: ui.options