Minor tweak on options page