tiny style fix for constants in ``main``