This is fixed in the new pull request (#740)