rep fails to stop at EOF after single row — how to terminate cleanly?

[EtaCassiopeia]

Hi all, I’m hitting an issue where a parser fails to stop after a single row in a table, expecting another row at EOF. Here’s the minimal code:

import fastparse._, NoWhitespace._

case class DataTableRow(cells: List[String])
case class DataTable(headers: List[String], rows: List[DataTableRow])

def dataTableParser(using P[?]): P[DataTable] = {
  def cell: P[String] = P(CharsWhile(_ != '|').!.map(_.trim))
  def row: P[DataTableRow] = P(" " ~ "|" ~ cell.rep(1, sep="|") ~ "|" ~ "\n").map { case (_, cells) => DataTableRow(cells.toList) }
  P(row ~ (row.rep(0) ~ End)).map { case (headerRow, (dataRows)) => DataTable(headerRow.cells, dataRows.toList) }
}

Example Input: " | a | b |\n" (length 12, single row)

Error: Parse failed: Failed at index 12: expected , trace: Expected "|":2:1, found ""

After parsing " | a | b |\n", row.rep(0) seems to expect another row starting with | at EOF (index 12), despite min=0 and End. I want it to stop after one row if no more rows follow. Is this a bug in .rep, or am I structuring it wrong? Any suggestions to make it stop cleanly at EOF?