fix a compilation issue