Fix build broken by 96a56b954eec6c2e93e0b9f696bed08c8414d1d7