Repeat: how many times to repeat? #481