Minor change to the C/C++ header template