Removed: unneeded push