formatting tweak

This commit is contained in:
Greg DeKoenigsberg 2017-08-13 12:39:03 -04:00 committed by GitHub
parent e43d1da938
commit 792bfa657c