fix formatting
This fixes formatting that I was somehow able to merge in !376 (merged). I think the current GitLab slowness made it happen. Either way no big deal.
This fixes formatting that I was somehow able to merge in !376 (merged). I think the current GitLab slowness made it happen. Either way no big deal.