minor code formatting change

This commit is contained in:
Bob Polis 2020-09-02 09:57:45 +02:00
parent 762f58edd0
commit c155a70fad