fix small issue detected by clang++