fixed two bugs: Output shouldn't get additional identation, TEI header was droped