Some minor changes have been integrated into the list of documents. The tests must therefore be adapted accordingly.