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 28f9a9cd2e30b715243718aff003ebd0e90ddf89..af6fd02ff4545b7d6d97a1fc341fdab6036289c5 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -342,30 +342,30 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 			} catch (IllegalArgumentException E) {
 				// the attribute did not exist
 			}
-            // TODO: check unchecked constant and see if we have a comment and generate ADescriptionExpression
-            
-            final AIdentifierExpression cstid = new AIdentifierExpression(Arrays
-						.asList(new TIdentifierLiteral[] { new TIdentifierLiteral(constant.getIdentifierString()) }));
-			
+			// TODO: check unchecked constant and see if we have a comment and generate ADescriptionExpression
+
+			final AIdentifierExpression cstid = new AIdentifierExpression(Arrays
+				.asList(new TIdentifierLiteral[] { new TIdentifierLiteral(constant.getIdentifierString()) }));
+
 			final IConstant ucc = (IConstant) constant.getSource(); // comments only attached in unchecked source
 			if (ucc.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-                final String commentString = ucc.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
-                // System.out.println("Constant " + constant + " has description " + commentString);
-                
+				final String commentString = ucc.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
+				// System.out.println("Constant " + constant + " has description " + commentString);
+
 				final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 				ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
-                final ADescriptionExpression descid = new ADescriptionExpression(descPragma,cstid);
-                if (isAbstractConstant) {
-                    abstractConstants.add(descid);
-                } else {
-                    concreteConstants.add(descid);
-                }
+				final ADescriptionExpression descid = new ADescriptionExpression(descPragma,cstid);
+				if (isAbstractConstant) {
+					abstractConstants.add(descid);
+				} else {
+					concreteConstants.add(descid);
+				}
 			} else {
-                if (isAbstractConstant) {
-                    abstractConstants.add(cstid);
-                } else {
-                    concreteConstants.add(cstid);
-                }
+				if (isAbstractConstant) {
+					abstractConstants.add(cstid);
+				} else {
+					concreteConstants.add(cstid);
+				}
 			}
 		}
 
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 80ad1bb5236a61549ac90a74864af03e501f4d26..aa980fd2c1032c21573739ebd9a861995f2a7eb4 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
@@ -455,15 +455,15 @@ public class ModelTranslator extends AbstractComponentTranslator {
 				final AIdentifierExpression id = new AIdentifierExpression(
 						Arrays.asList(new TIdentifierLiteral[] { literal }));
 				
-			    final IVariable ucv = (IVariable) variable.getSource(); // comments only attached in unchecked source
-			    if (ucv.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-                    final String commentString = ucv.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
-                    final TPragmaFreeText desc = new TPragmaFreeText(commentString);
-                    ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
-                    final ADescriptionExpression descid = new ADescriptionExpression(descPragma,id);
-				    list.add(descid);
-			    } else {
-				    list.add(id);
+				final IVariable ucv = (IVariable) variable.getSource(); // comments only attached in unchecked source
+				if (ucv.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
+					final String commentString = ucv.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
+					final TPragmaFreeText desc = new TPragmaFreeText(commentString);
+					ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
+					final ADescriptionExpression descid = new ADescriptionExpression(descPragma,id);
+					list.add(descid);
+				} else {
+					list.add(id);
 				}
 			}
 		}