Null pointer: Fixed false positive discovered by Travis when self-checking cppcheck