How the Qur’an fixes a failed prophecy in the Bible