Better fix for dots in jobset names

Created by  Eelco Dolstra  on November 17, 2015
DKIA7GAD5ZV7BHEAFQVUEKNNP32LVE5OLDRA6TIY4G7JGUN5ID2QC
Change contents