I think we are doing better type checking now.