fix typographical error in documentation