small cosmetic change in main.css