more formatting changes for menuconfig section