This change is from your other pull request, but I don't think this will cause a problem.