Fix 755008f00ec44171181e58f1c1337413ba2f419f.