Kleinere Dokumentationsupdates