fix options.html