Formatting

Minor formatting changes.