Adds 'repri' option.