Update repeat.h