diff --git a/go/pointer/stdlib_test.go b/go/pointer/stdlib_test.go
index c8380148..c5869ec5 100644
--- a/go/pointer/stdlib_test.go
+++ b/go/pointer/stdlib_test.go
@@ -54,7 +54,7 @@ func TestStdlib(t *testing.T) {
 	prog.BuildAll()
 
 	numPkgs := len(prog.AllPackages())
-	if want := 140; numPkgs < want {
+	if want := 240; numPkgs < want {
 		t.Errorf("Loaded only %d packages, want at least %d", numPkgs, want)
 	}
 
diff --git a/go/ssa/builder.go b/go/ssa/builder.go
index bcd5f096..a069c9e5 100644
--- a/go/ssa/builder.go
+++ b/go/ssa/builder.go
@@ -2307,9 +2307,13 @@ func (p *Package) needMethodsOf(T types.Type) {
 // Recursive case: skip => don't call makeMethods(T).
 func (p *Package) needMethods(T types.Type, skip bool) {
 	// Each package maintains its own set of types it has visited.
-	if p.needRTTI.Set(T, true) != nil {
-		return // already seen
+	if prevSkip, ok := p.needRTTI.At(T).(bool); ok {
+		// needMethods(T) was previously called
+		if !prevSkip || skip {
+			return // already seen, with same or false 'skip' value
+		}
 	}
+	p.needRTTI.Set(T, skip)
 
 	// Prune the recursion if we find a named or *named type
 	// belonging to another package.