Minor formatting and clarity fixes.