Replaced the warning with match case Def()