more work on the docs; should be done now