Fix up misinformed documentation.