minor c++ syntax fix