diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
index e526289..d920bf2 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
@@ -165,7 +165,11 @@ public class TypeInferenceView extends VerticalLayout
         if (currentStep == 0) {
             controlPanel.setEnabledFirstStep(false);
             controlPanel.setEnabledPreviousStep(false);
+            controlPanel.setEnabledNextStep(true);
+            controlPanel.setEnabledLastStep(true);
         } else if (currentStep == unification.getStepCount() - 1) {
+            controlPanel.setEnabledFirstStep(true);
+            controlPanel.setEnabledPreviousStep(true);
             controlPanel.setEnabledNextStep(false);
             controlPanel.setEnabledLastStep(false);
         } else {