Fix warning produced by clang++