Descartes’ Bête Machine, the Leibnizian Correction and Religious Influence