Fix a wrong push