Minor formatting of main