fix supertype