tweak display of global options section