Fair point, I’ve just sent a commit for that.