formatting as per c++ style