Getting rid of something that accidentally got added to git.