Add "user" files in .gitignore
Fix previous commit