fix minor documentation formatting problem