Fixed hygiene bug in witness generation.
Merge pull request #232 from travisbrown/witness-hygiene

Fixed hygiene bug in witness generation.