Small fix-ups to readme