Small changes in options.xhtml