minor bug fixes, documentation revision