Revert "Fix bug val instead of def"

This reverts commit 0fb3ebcff3d93d178caadc26ef3e4ed1aaed02c0.