formatting changes for menuconfig section