minor changes: options.html - label for