Tiny change to options dialog.