Fix docs for opt_.