Fix doc bug, again from prior reversions.