Small fix about the error in push