Fix typo, and formatting