Hello Pavel:

This looks like a very useful fix. I have added it to our upcoming maintenance releases 4.3.6/4.1-ESV-R15 due out July 31st.  Thanks for contributing it!

Sincerely,

Thomas Markwalder
ISC Software Engineering