Fix minor spacing problem in Main