Indeed it is the same, should probably be removed altogether!