Fixing up Jenkins errors.