Fix indentation bug pointed out by Patrick Lachance

This commit is contained in:
Yin Li 2020-09-21 19:54:44 -04:00
parent 7971137ad4
commit 156011be5f