OK, I have fixed it in a separate commit. Will remove from this PR.