Fixed in an new commit in this PR.