Fix syntax (section 4)