Ah, good catch! I’m travelling right now, but I’ll fix this PR sometime this week (and add a CHANGELOG entry). Thanks!