Bugfix and s/consume()/push()/g.