Fixed bug in lifting tuples