fixed supertype bug