Update documentation. Fixes #20.