diff --git a/src/go/types/NOTES b/src/go/types/NOTES
index b18f45ebe1..e90c97d85e 100644
--- a/src/go/types/NOTES
+++ b/src/go/types/NOTES
@@ -31,8 +31,6 @@ OPEN QUESTIONS
 - Confirm that it's ok to use inference in missingMethod to compare parameterized methods.
 - What does it mean to explicitly instantiate a contract with a non-type parameter argument?
   (e.g., contract C(T) { T int }; func _(type T C(int))(...) ... seems invalid. What are the rules?)
-- Should we be able to parenthesize embedded contracts like we allow for interfaces (currently this
-  is not permitted syntactically)?
   
 ----------------------------------------------------------------------------------------------------
 DESIGN/IMPLEMENTATION
@@ -97,3 +95,5 @@ DESIGN/IMPLEMENTATION
   field with a parenthesized type foo (T) and an embedded parameterized type (foo(T)), similarly
   to interace embedding.
 
+- 2/19/2020: Permit parentheses around embedded contracts for symmetry with embedding in structs
+  and interfaces.