Makes error messages more descriptive in FormatCheckTests.testFalsePositives