small fix in Kconfig