nice find by @rwcarlsen. here's a hotfix.