Minor format changes and a typo fix