Adapted boxy to work with jargon 3.3.0