Type corrections