Indeed, sorry. The pull request has been merged though, so I'll create a new one.