To ensure it wasn't some other wierd effect, we also fixed the bug and then deliberately re-added the same error message.
This bug was worth 15% of our revenue, so we did a lot of tests and trials...