Thanks, fixed in another pull request.