Small fix on gitignore