Re #10636. Trying to fix the script.