diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
index e0c56078501a778c56dc70d82e68f6afbe34cf3e..edc3c1ae99704b1a02bbdd2bbb0880d21986a612 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -321,7 +321,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 
 			final ICarrierSet ucs = (ICarrierSet) carrierSet.getSource(); // comments only attached in unchecked source
 			if (ucs.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-			    // The carrier set has a comment attached to it, we convert it to a description pragma:
+				// The carrier set has a comment attached to it, we convert it to a description pragma:
 				final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
 				final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 				ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
@@ -361,7 +361,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 
 			final IConstant ucc = (IConstant) constant.getSource(); // comments only attached in unchecked source
 			if (ucc.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-			    // The constant has a comment attached to it, we convert it to a description pragma:
+				// The constant has a comment attached to it, we convert it to a description pragma:
 				final String commentString = ucc.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
 				final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 				ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
@@ -411,7 +411,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 				final PPredicate predicate = translatePredicate(ff, te, element);
 				final IAxiom uca = (IAxiom) element.getSource(); // comments only attached in unchecked source
 				if (uca.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-			       // The axiom has a comment attached to it, we convert it to a description pragma:
+					// The axiom has a comment attached to it, we convert it to a description pragma:
 					final String commentString = uca.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
 					final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 					ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index a04c51e04d7c1b37f8ac13da1ab4e008ee0b6b09..6962f3027ee78c77c67a76358cefd6fc3e167ab7 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -460,7 +460,7 @@ public class ModelTranslator extends AbstractComponentTranslator {
 				
 				final IVariable ucv = (IVariable) variable.getSource(); // comments only attached in unchecked source
 				if (ucv.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-				    // The variable has a comment attached to it, we convert it to a description pragma:
+					// The variable has a comment attached to it, we convert it to a description pragma:
 					final String commentString = ucv.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
 					final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 					ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));