Fixed a small bug in Type