Modify README in consequence of a23c1ab72c4263459d1d813c0f02ddc0232b54b6.