Bummer: Jenkins denormalized our configuration...