diff --git a/src/main/java/de/tla2b/types/AbstractHasFollowers.java b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
index 9da88b8867638d341990fab6575412ef94ad09d2..afbbc887cf997adc274d0797bc2ab069020e1ef9 100644
--- a/src/main/java/de/tla2b/types/AbstractHasFollowers.java
+++ b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
@@ -1,5 +1,6 @@
 package de.tla2b.types;
 
+import de.tla2b.analysis.TypeChecker;
 import tla2sany.semantic.SemanticNode;
 
 import java.util.ArrayList;
@@ -37,7 +38,7 @@ public abstract class AbstractHasFollowers extends TLAType {
 		// avoid concurrent modification:
 		new ArrayList<>(followers).forEach(follower -> {
 			if (follower instanceof SemanticNode) {
-				((SemanticNode) follower).setToolObject(5, newType);
+				TypeChecker.setType((SemanticNode) follower, newType);
 				if (newType instanceof AbstractHasFollowers) {
 					((AbstractHasFollowers) newType).addFollower(follower);
 				}