Fixed minor compilation error