Fixes to defuns updates.