Minor modifications on resolution and names