Minor documentation fixes #3