fix a compilation error