Why was this bug not found in testing?