After having studied one of the coverity.com reports at length last night, I

decided it was a good idea to properly document my thoughts in a comment near
the code that was identified as a possible flaw. A false positive as far as I
can see.