[Topographie] Circe 5.1 bug?