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