Why is there a default value here?