tiny style fix for constants in ``main``
(cherry picked from commit c2af4be9e4cdc5c85a177c2a9a8119ee7ebec547)