more work on debugging