Bugfix in int range output