Fix build broken by commit a935f3ab6c983de3ac7e37e63a9a3905e0e9009f