[PATCH] DocBook: update comments