We were never even able to reproduce it.
Maybe we fixed it by accident, when changing/fixing something else.