fixes for jargon #34