Fix #9914
regen