small fix to push correctly