Various fixes in documentation. Fixes #7