Ok. So this was a bug that was already in the system, correct?