minor fix of the format