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 0174b35d77b87dbaa7d965377330e98d4b37b072..5a6f484dd6c27a33de3b02b8bf1281fe9a7208c9 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -316,21 +316,20 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 		final ISCCarrierSet[] carrierSets = context.getSCCarrierSets();
 		final List<PSet> setList = new ArrayList<PSet>(carrierSets.length);
 		for (final ISCCarrierSet carrierSet : carrierSets) {
-		    
 			final ADeferredSetSet deferredSet = new ADeferredSetSet(Arrays
 					.asList(new TIdentifierLiteral[] { new TIdentifierLiteral(carrierSet.getIdentifierString()) }));
-			
+
 			final ICarrierSet ucs = (ICarrierSet) carrierSet.getSource(); // comments only attached in unchecked source
 			if (ucs.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-                final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
-			    System.out.println("Carrier set " + carrierSet + " has comment " + commentString);
-			     
+				final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
+				System.out.println("Carrier set " + carrierSet + " has comment " + commentString);
+
 				final TPragmaFreeText desc = new TPragmaFreeText(commentString);
 				ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
 				final ADescriptionSet descid = new ADescriptionSet(descPragma,deferredSet);
-			    setList.add(descid);
+				setList.add(descid);
 			} else {
-			    setList.add(deferredSet);
+				setList.add(deferredSet);
 			}
 		}
 		return new ASetsContextClause(setList);