minor compilation issue