Minor formatting fix

This commit is contained in:
Nick Krichevsky 2018-09-03 20:26:14 -04:00
parent e3b7dcb837
commit d650fc413c