Minor changes in auto-generated domain API.