Fix type of GarbageCollect declaration