fix wrong setting for ci