Thanks! Would you mind doing a git commit --amend and pushing a new edition without these?