Fixed minor error in checker type expansion code