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 d1785f265cbe7134ca90941d6ea33915e8156d4b..0cdb25c1d8d71c0794d96c92361a7d973f4bd13d 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
@@ -358,19 +358,18 @@ public class ModelTranslator extends AbstractComponentTranslator {
 			final IEvent ucevent = (IEvent) revent.getSource();
 			// this also works to access comment field; not sure which version is better:
 			//if((ucevent instanceof ICommentedElement) && ((ICommentedElement) ucevent).hasComment()) {
-			//	System.out.println("Description 1 of " + revent.getLabel() + ": " 
-			//               + ((ICommentedElement) ucevent).getComment());
+			//	System.out.println("Description 1 of " + revent.getLabel() + ": " + ((ICommentedElement) ucevent).getComment());
 			//}
 			if (ucevent.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
-	           final String commentString = ucevent.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
-			   System.out.println("Event " + revent.getLabel() + " has description " + commentString);
-			   final ADescriptionEvent devent = new ADescriptionEvent();
-			   devent.setEvent(event);
-			   final TPragmaFreeText desc = new TPragmaFreeText(commentString);
-			   devent.setContent(desc);
-			   eventsList.add(devent); // we add the event with a description node around it; requires new probcli
+				final String commentString = ucevent.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
+				System.out.println("Event " + revent.getLabel() + " has description " + commentString);
+				final ADescriptionEvent devent = new ADescriptionEvent();
+				devent.setEvent(event);
+				final TPragmaFreeText desc = new TPragmaFreeText(commentString);
+				devent.setContent(desc);
+				eventsList.add(devent); // we add the event with a description node around it; requires new probcli
 			} else {
-			   eventsList.add(event);
+				eventsList.add(event);
 			}
 		}
 		clause.setEvent(eventsList);