Fix #16: update the options view.