mostly doc fixes