Fix T4007

Accidentally broken by my last commit