Some cosmetic updates on the README.