fix minor typo in docs