Fixed a problem in options.js