Minor formatting fixups