diff --git a/src/col/vct/col/origin/Origin.scala b/src/col/vct/col/origin/Origin.scala
index ea5616e124..56f59ce5d5 100644
--- a/src/col/vct/col/origin/Origin.scala
+++ b/src/col/vct/col/origin/Origin.scala
@@ -123,7 +123,12 @@ case class Origin(originContents: Seq[OriginContent]) extends Blame[Verification
       case _ => Nil
     } match {
       case Seq(Context(any)) => Some(Context(any))
-      case _ => None
+      case _ =>
+        Some(Context(InputOrigin.contextLines(
+          getReadable.getOrElse(return None).readable,
+          getStartEndLines.getOrElse(return None).startEndLineIdx._1,
+          getStartEndLines.getOrElse(return None).startEndLineIdx._2,
+          getOriginCols.getOrElse(return None).cols)))
     }
   }