Fix build broken by fb1cd8a