this commit fixes #1, and makes some minor changes to the docs