Fixing issue of toString() in class Fact