Original: " Nationals: 1B Ryan Zimmerman was rested and used as a pinch-hitter in the ninth.
Updated: " Nationals: 1B Ryan Zimmerman was rested and then used as a pinch-hitter in the ninth.