Update formatting of README.org