bugfix in cut_last_push()