Bug seems to be in left hand side of product tuple