Yeah this is fixed in a later pull request