Corrected record in Kconfig