Mostly doc fixes