fixes #9768: unbold buttons