Add missing jexit()