Bugfix of incorrectly displayed integer domain parameters