Documentation improvements

Fixes #9