diff --git a/src/go/types/README b/src/go/types/README
index d2a51901d7..701e80077e 100644
--- a/src/go/types/README
+++ b/src/go/types/README
@@ -91,7 +91,7 @@ current state and issues.
 TO PLAY WITH THIS PROTOTYPE
 
 - Cherry-pick this CL on top of tip (the cherry-pick was tested with
-  tip at b3b174ffcf):
+  tip at 48a90d639d):
 
   git fetch "https://go.googlesource.com/go" ... && git cherry-pick FETCH_HEAD
 
@@ -128,14 +128,15 @@ This is solely to distinguish them from regular Go code and to prevent gofmt
 from touching them. We expect a proper implementation to keep using ".go".
 
 Updates:
-8/04/2019: Several bugs around type inference and type instantiation fixed.
-8/16/2019: Many issues around type instantiations and contracts with methods fixed.
-10/8/2019: Contracts with type constraints starting to be usable.
+8/4/2019  : Several bugs around type inference and type instantiation fixed.
+8/16/2019 : Many issues around type instantiations and contracts with methods fixed.
+10/8/2019 : Contracts with type constraints starting to be usable.
 12/15/2019: Significant progress with much of the functionality present.
 12/19/2019: Several bugs around type bounds checking fixed; more complex examples.
 12/20/2019: Treat contracts as objects, not types anymore. Various bug fixes and more examples.
-1/14/2020: Implemented contract embedding and instantiation. Lots of bug fixes.
-3/12/2020: Many bug fixes. First steps towards a source-to-source translator.
-3/18/2020: More bug fixes. Fixed type inference for directional channel types.
+1/14/2020 : Implemented contract embedding and instantiation. Lots of bug fixes.
+3/12/2020 : Many bug fixes. First steps towards a source-to-source translator.
+3/18/2020 : More bug fixes. Fixed type inference for directional channel types.
+4/2/2020  : More bug fixes. Improved gofmt for generic code. Better error messages.
 
 Change-Id: I29839b5e95d7050fce1dcb3334d3d324883cf76f