Clean up some debugging.
Update documentation.