minor formatting tweak

This commit is contained in:
Celeste de Guzman
2017-12-11 11:46:25 -08:00
parent 13531fad14
commit 5d09988d25