Tweak formatting in README.

It seems GitHub-flavoured Markdown does not support
definition lists.
Merge branch 'develop'