We can delete these two lines, as well as the the `patch` line up top