Richard, can then be anything done with this bug except closing? I assume that we have now no machine to reproduce it, or?