diff --git a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
index 0b239c2a8f6a65a8dd3d6cc422bbeb6baddf206f..1b81218feb8358d3f3a566451ce9a5a0d390f119 100644
--- a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
+++ b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
@@ -751,7 +751,7 @@ public class CodeTester {
         // look in parent
         Class<?> zuper = klass.getSuperclass();
         if (zuper != null)
-            return invasiveGetMethod(zuper, methodName, parameterTypes);
+            return invasiveGetMethodRec(zuper, methodName, parameterTypes);
         else
             return null;
     }