Why a default value here but not elsewhere?