I'm not sure. I just saw this discrepancy when reading through the code. I can investigate.