Port a previous change to DocBook