Commit 21ffc57d1b27ae4e3fb726d041e9e4c5f8f1e58e

Nelson Elhage 2018-06-28T05:27:36

Small style tweak, and set an error (cherry picked from commit 895a668e19dc596e7b12ea27724ceb7b68556106)