Fix minor typo in Kconfig