a couple doc fixes