a few more modifications to the example in jacket.py