Fix (push) and (pop). Thanks to Christoph Sticksel for the bug report.