Update .gitignore
Refactor the specification