parinfer 2018-07-21

I’ve been putting a [] at the end of my comments to get around this.