Typesetting change in README.