Thread:Sannse/@comment-25926076-20150725025413/@comment-14310002-20150725031125

The bug could arise again. It would be good for it to be on file, but not required.