Fix options.html