Fix a minor issue found by clang