Nationals fans have a slight problem with night games: The Washington, D.C., Metro shuts down around midnight. So as the Nationals played against the Dodgers in Game 5 of the NLDS on Thursday night, the announcement of the time of the last train was made in the seventh inning with the Dodgers leading 4-1.

Bryce Harper even commented about it before the game, per CSN Mid-Atlantic:

“I hope everybody takes an Uber and doesn’t take the train. Once the train leaves at 11:30, our stadium is empty. Hopefully that doesn’t happen,” he said, referring to the uncertainty of D.C. Metro staying open for late playoff games.”

Fans were not happy when they were informed that the last train would be leaving soon. They booed and chanted, “Metro sucks!”

And here's the first scoreboard announcement of the last Metro train leaving at 11:39 p.m. Boos rain down on #Nats Park. — Mark Zuckerman (@MarkZuckerman) October 14, 2016

The traditional postseason cheer of "Metro Sucks" rings through Nats Park. — Barry Svrluga (@barrysvrluga) October 14, 2016

43,000+ boo as Nats Park announces the last Metro train. — Chase Hughes (@chasehughesCSN) October 14, 2016

HOWEVER, not so many of the fans went on to leave. Some of them did, but most of them stuck around, as noted by For The Win’s Ted Berg, who is at the game.

Any report you're reading about Nats fans leaving to catch the metro is wildly overstated. Everyone's still here. — Ted Berg (@OGTedBerg) October 14, 2016

Here’s a photo he took. That looks pretty much full, and it looks the same way on the broadcast and in other post-Metro announcement seventh inning photos.

These tweets seem to be a slight exaggeration.

Nats' fans are streaming out of the stadium to catch the last Metro. And just when the Nats need them the most. Good job, DC. — Juliet Macur (@JulietMacur) October 14, 2016

All the fans booing the Metro announcement at Nats Park are now racing to catch the last train. — Luke Thomas (@SBNLukeThomas) October 14, 2016

Metro jinxed the Nats?? How do you come back from a 4-1 with an EMPTY park? #Laughable — Marina Marraco (@MarinaMarraco) October 14, 2016

After these tweets, the Nationals scored to chip at the Dodgers’ lead. At the end of the seventh, Washington trails by just one, 4-3. Props to all you fans who stick around. You never know what can happen in the playoffs.