Fix for issue #15

This is the same fix I suggested in #15 in order to allow multiple push in the same program.