Massive correction of small types