More documentation formatting changes