Minor changes to correct formatting