Minor code change, for the sake of clarity