fixed a compilation issue