documentation revision and minor bug fixes