We weren’t able to reproduce; touched the code outof other reasons. Please report if it happens again.
