Stray file got in, adding such files to gitignore.