Minor HTML tweak on options page