minor fix in formating