Small last changes throughout the document