Change 'published' to 'released' in section 12 for consistency.