Were there no nonstop options at booking, or were the miles that much higher for the nonstop vs. a connection where an airport transfer would be required?

Normally, moving from DCA to IAD would be considered as origin change. Short of irregular operations (cancellation, aircraft issues), you would need to pay additional. Someone check this statement.