small bug correction and changes in documentation