Updated patch-coverage tool to catch fewer errors