Minor formatting changes to ToS