Fix 'README.md' for changes to 'def'.