fix minor formating issue