A few more touch-ups to README.