Push instructions fix