Fix fun def