Minor formatting fixes.