Trivial fix on button-bar topdoc.