fix a minor compilation issue