minor fixes to jggle