I think you're right (of course, at one point they were at 5 minute frequency, but that was a while back). Looks like they've increased Capital Line frequency, but reduced Metro Line frequency, which was also at 12 minutes in the most recent schedules.
Overall, seems better service for stations...