Fix #160: replace "Article" by "Section"