diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h
index cea6b04..e1fbbb4 100644
--- a/include/anthem/StatementVisitor.h
+++ b/include/anthem/StatementVisitor.h
@@ -45,7 +45,7 @@ struct StatementVisitor
 				if (i != context.headTerms.cbegin())
 					outputStream << ", ";
 
-				const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(i - context.headTerms.cbegin());
+				const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin());
 
 				outputStream
 					<< output::Variable(variableName.c_str())