Minor formatting bugs.