Corrects the triples() example