Round out the documentation, fixes #1