fix a compilation error.