Fixing error in GC1 found by Mark Engelberg, but fixed in GC2