Nope.  You are correct.  We can fix that when we merge the PR.