Fix warning with section index synthesis