updated comments on using DocBook.