Minor changes to address PR comments.
authorcampbellsean@google.com <campbellsean@google.com>
Wed, 18 Oct 2017 20:48:50 +0000 (16:48 -0400)
committercampbellsean@google.com <campbellsean@google.com>
Wed, 18 Oct 2017 20:48:50 +0000 (16:48 -0400)

No differences found