Some minor fixes. The end of the document is now translated.