Minor doc bug.