Fix a typo in the formatting style