Committing some stuff left out by .gitignore