Little bug in type classes fixed