Little fix about gitignore