minor fix in format