small bug fixes, documentation changes