Definition updates.