doc: fix an error.