C++ minor fix