micro-optimizing push
Merge pull request #592 from AutoSponge/master

micro-optimizing push