Silence one cppcheck warning