Fix: minor C++ syntax issue fix up.