addendum to c0f12ac6cb5d0f6d7bc1002ad6c3dd37e99323b0

just in case someone is stupid enough to blindly trust
cppcheck (or any other tool) AGAIN and reintroduce the
bug a third (or fourth, or fifth...) time