fix bad patch in last commit