The attached updated patch fixes a bug in the original.