Merge pull request #4589 from sungjunhong/master
authorJon Long <jonlong@cs.berkeley.edu>
Wed, 24 Aug 2016 18:41:22 +0000 (11:41 -0700)
committerGitHub <noreply@github.com>
Wed, 24 Aug 2016 18:41:22 +0000 (11:41 -0700)
Correct a minor mistake in statements


Trivial merge