Another quick pusher

Pushed a small change.