fixed the build failure introduced in commit 109fd454a.