Final documentation fixes. Fixes #8