I think it was a bug.