Proper fixing of defaulting 'error' values after type checking.