Minor bugfixes
This release mainly fixes the implementation of subset of sed that we made to track, which line of code are we currently executing.
This release mainly fixes the implementation of subset of sed that we made to track, which line of code are we currently executing.