Fix compilation after ccc06fc70fac4ae0772af68727c89bad349016d9.