Minor Markdown tweaking to look nicer on GitHub