Fix build failure caused by #1267.