small bug corrected when compilation with clang++