Update repgen.py