push works properly