minor correction in C++ header files