fixed a minor bug in the options html page.