small code & doc fixes