@mdboom, thanks for noticing that. I have removed this patch from the pull request.