minor c++ style