minor compilation error fixed