Add that the error tells the user to push