Debugger "source not found"

[obycode]

When attempting to debug the stackflow contract in the Clarinet console, I ran into a small issue, where it was initially unable to find the source, reporting "source not found". Once I step, it gets into the source just fine, it is just the initial position that seems to be a problem.

To reproduce, replicate the code from the stackflow contract in a Clarinet project, run clarinet console, then run the debugger:

>> ::debug (contract-call? .stackflow verify-signature 0x6c9d3a82d962ad343e474064270d8841e5a1778a47ecdf186b0c68dd397fbf000fa25c35d5d79655e9b4c3a1dafd4a194fb561bfd274f3cb5502de39b9989cc600 'ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 { token: none, principal-1: 'ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5, principal-2: 'STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 } u1300000 u1700000 u1 u1 none none)
source not found
ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.contract-5:1:219
(debug) s
ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.stackflow:803:3
   800        (actor (optional principal))
   801        (hashed-secret (optional (buff 32)))
   802      )
-> 803      (let ((hash (unwrap! (make-structured-data-hash
            ^
   804          channel-key
   805          balance-1
   806          balance-2
(debug) 

For some reason, it is getting a generated contract, contract-5 for the initial source line. I have not seen this behavior when debugging other contract calls.