Documentation updates for latest changes; small bug fix