Fix tiny doc bug.