Fix error in kconfig