minor compilation error fix