Be more explicit about return value from [[push]].

Fixes #54.