A few changes, and new documentation.