Update tuple.h