More minor tweaks in the README.

[ci skip]