Fixed digit issue in filenames for redtube.