diff --git a/go/ssa/create.go b/go/ssa/create.go
index 423bce871..2fa3d0757 100644
--- a/go/ssa/create.go
+++ b/go/ssa/create.go
@@ -193,11 +193,7 @@ func membersFromDecl(pkg *Package, decl ast.Decl, goversion string) {
 //
 // The real work of building SSA form for each function is not done
 // until a subsequent call to Package.Build.
-//
-// CreatePackage should not be called after building any package in
-// the program.
 func (prog *Program) CreatePackage(pkg *types.Package, files []*ast.File, info *types.Info, importable bool) *Package {
-	// TODO(adonovan): assert that no package has yet been built.
 	if pkg == nil {
 		panic("nil pkg") // otherwise pkg.Scope below returns types.Universe!
 	}
diff --git a/go/ssa/ssa.go b/go/ssa/ssa.go
index df673e2fc..4fa983107 100644
--- a/go/ssa/ssa.go
+++ b/go/ssa/ssa.go
@@ -342,7 +342,7 @@ type Function struct {
 	// source information
 	Synthetic string      // provenance of synthetic function; "" for true source functions
 	syntax    ast.Node    // *ast.Func{Decl,Lit}, if from syntax (incl. generic instances) or (*ast.RangeStmt if a yield function)
-	info      *types.Info // type annotations (iff syntax != nil)
+	info      *types.Info // type annotations (if syntax != nil)
 	goversion string      // Go version of syntax (NB: init is special)
 
 	parent *Function // enclosing function if anon; nil if global