Minor formatting fixups.

  We should make things consistent.