trivial fix on doc