fix Pythagorean triples example