Correct patch to fix build