The most minor of typos and formatting.