OK, a fix is contained in the most recent commit.