Correcting types