Can't parse tables whose names start with nonzero numbers

[Thimoteus]

My minimal failing example is as follows:

module Main

import Language.TOML

fails : String
fails = """
[1-hello-world]
hi = "hi"
bye = "bye"
"""

works : String
works = """
[0-hello-world]
hi = "hi"
bye = "bye"
"""

parse : String -> String -> IO ()
parse strname toParse =
  case parseTOML toParse of
    Left err => do
      putStrLn "Error parsing \{strname}"
      putStrLn $ show err
    Right _ => putStrLn "Success parsing \{strname}"

main : IO ()
main = do
  parse "fails" fails
  parse "works" works

The output is

Error parsing fails
Parse error: ["0:0--0:1: Expected end of input"]
Success parsing works

I'm using Idris2 on commit e29e2289e78167858b45882d4dc8597d531b9478 and pack on commit 588b208edd278b314206f83a58a473e6b334f75d