Fix bug in display of parameter names violating the bounds condition