A dull change to fix up the colons and spacing after various comments to make them consistent with the general style.