just deleting some strange presumably git-inserted lines