Some aesthetic improvements to README