Fix in documentation import script.