documentation bugfixes