Fixes issue #11098 -- Button documentation.

As reported by @Theowdfb.