fixing minor compilation error