fix a typo and a very minor formatting change