Fixing a formatting bug, and the README