Bugfix in repr for mod