tiny fixed coding style (in ``main()``)

(cherry picked from commit 9508900937b5672cf59db62fc18157cc092977bd)