Last minute doc fixes