Minor markup and stylistic tweaks