Little bug fix. Variables not initialized.
Little bug fixes in DocBook.
A solution to avoid conflicts in HTML IDs.