[Thomas John Sødring]
So, we can do the following. a) ignore the problem and hope it doesn't come back, b) make a fix to the code to fix a potential issue that may or may not be there.
I think we should be pro-active and go for b).
I agree that a pro-active solution is best. :)