Bug fix in options window.