update wrt the last commit in the main branch that Fixes #7 (forgotten)