Silence some DocBook warnings.