What has happened to this DocBook file? Is this only a formatting/indentation change? Do you use a new editor?