Indeed, pushed a fix to the PR.