Fix doc mistyping