Fix 1a19adf85c correctly.