Make Cppcheck happy