Commit 895a668e19dc596e7b12ea27724ceb7b68556106

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

Small style tweak, and set an error