clean after pull request (forgot "git add")