small documentation bugfix