Fix missed name change in options.html