Bugfix for continuation pushing/popping