Actually, even from reading the summary I assumed it was a coding error. Isn't that exactly the point, though? If this kind of trivial error gets through testing so easily, how can we have any confidence that more significant and impactful errors aren't slipping through?