More Jenkins encoding