Fix mistake in Kconfig