Some documentation formatting cleanup