minor fix of the formatting