tiny typo fix in push actions