Patch for fixing compilation error