Index: trunk/autoquest-misc/src/main/java/de/ugoe/cs/autoquest/CommandHelpers.java
===================================================================
--- trunk/autoquest-misc/src/main/java/de/ugoe/cs/autoquest/CommandHelpers.java	(revision 927)
+++ trunk/autoquest-misc/src/main/java/de/ugoe/cs/autoquest/CommandHelpers.java	(revision 1095)
@@ -54,5 +54,5 @@
 	 */
 	public static void objectNotType(String objectName, String type) {
-		Console.printerrln("Object " + objectName + "not of type " + type + ".");
+		Console.printerrln("Object " + objectName + " not of type " + type + ".");
 	}