On 12/16/2012 2:13 PM, Simen Kjaeraas wrote: > What's a good solution to the issue, then? Leave it as is? Figure out the cases where it happens and fix those cases.