Fix a typo: def -> val.