Fixes #3801: correct display of global parameters values