Copy the original definition here.