On 21 Oct 2015, at 04:52, Gabriel Cotelli <g.cotelli@gmail.com> wrote:

It's giving:

Error: Duplicate key: 'index-header'