Update documentation. Fixes #8.