Fix bug causing it to not terminate
Don't write header.json [closes #1]