minor compilation fix