fix minor compilation error.