Minor documentation formatting and updates