Fix #35: Update options UI.