Some doc fixes