More documentation, minor improvements.