More documentation formatting