It was a fix for some behaviour, yes. But I can't recall what it was about. I think it had to do with some residual styling after disabling highlight and numbering