Some minor cleanup of DocBook5 stylesheets