Washington Metro: (surprisingly) empty platform

It's fairly unusual to see a DC Metro platform void of riders; particularly on a weekday and in spite of June setting several ridership records: it set the single-month ridership record of 19,729,641 total riders, the record for highest average weekday ridership with 772,826 weekday trips, had five of the ten highest ridership days, and had 12 weekdays in which ridership exceed 800,000 trips. Photo was taken in 2009.