Trivial cosmetic change to Settings panel