Minor changes to VerifiedGC figure