Minor: use def