documentation bugfix