correct a small bug in minimal_type