Fix bug in fractional instance