Garbage-collect no longer needed PATCH_ARGS adjustment forgotten in the previous commit 4549fc4e (n570421).