modify options.html