Patch to fix a compile error