Revert "def: fix"

This reverts commit d6241af8a9a1c8d76297eb155dd173751ada40ae.