Commit e91024e1adea7f272d8270c0787aeaa3857a2855

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

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