Fixed add typechecking.