diff --git a/src/plasp/pddl/Expression.cpp b/src/plasp/pddl/Expression.cpp
index 53546ad..455c8b8 100644
--- a/src/plasp/pddl/Expression.cpp
+++ b/src/plasp/pddl/Expression.cpp
@@ -67,6 +67,7 @@ ExpressionPointer parsePreconditionExpression(Context &context,
 		parser.seek(position);
 		warnUnsupported(context, expressionIdentifier);
 
+		parser.seek(expressionIdentifierPosition);
 		skipSection(parser);
 
 		return nullptr;
@@ -121,6 +122,7 @@ ExpressionPointer parseExpression(Context &context, ExpressionContext &expressio
 		parser.seek(position);
 		warnUnsupported(context, expressionIdentifier);
 
+		parser.seek(expressionIdentifierPosition);
 		skipSection(parser);
 
 		return nullptr;
@@ -159,6 +161,7 @@ ExpressionPointer parseEffectExpression(Context &context, ExpressionContext &exp
 		parser.seek(position);
 		warnUnsupported(context, expressionIdentifier);
 
+		parser.seek(expressionIdentifierPosition);
 		skipSection(parser);
 
 		return nullptr;
@@ -201,6 +204,7 @@ ExpressionPointer parseEffectBodyExpression(Context &context, ExpressionContext
 		parser.seek(position);
 		warnUnsupported(context, expressionIdentifier);
 
+		parser.seek(expressionIdentifierPosition);
 		skipSection(parser);
 
 		return nullptr;
diff --git a/src/plasp/pddl/InitialState.cpp b/src/plasp/pddl/InitialState.cpp
index 352ebb2..a203d29 100644
--- a/src/plasp/pddl/InitialState.cpp
+++ b/src/plasp/pddl/InitialState.cpp
@@ -55,6 +55,9 @@ std::unique_ptr<InitialState> InitialState::parseDeclaration(Context &context, c
 				parser.seek(position);
 				warnUnsupported(context, expressionIdentifier);
 
+				parser.seek(expressionIdentifierPosition);
+				skipSection(parser);
+
 				return ExpressionPointer();
 			}