One more tweak to doc/README.rst