Fix build broken in e94fe1d