Correction to "Analyzing Errors with the Boolean Difference"1