Haven't seen this since updating to 13.2 release version. Gerben, have you? Otherwise we can close this bug as one of those RESOLVED->FIXED-BUT-NOONE-KNOWS-HOW ;)