Fix format of jenkins config hash