Specify RHS repetitions -- reformat