minor formatting

Markdown is usually straightforward...