minor fix on the format