[[ Bug 11751 ]] Make sure the label of an option button is updated corre...

...ctly on Mac.