Good to hear. In any case, there is now an explanatory comment in the source code...