Update rep_len (#33)