style changes notified by cpplint