Some bugfixes within the documentation.