Minor fix to tuples subtyping