documentation fixes #2