fix compilation failure by previous commit.