Some documentation fixes
Fixes #352