fix minor error in docs