Fix the build broken by #1490