Fix comment on original right-push func.