A little correction to the formatting