minor fix to the format