Debugging in progress on issue #12, #4