Fixed error of pull request #719