Fix a typo and a formatting issue