Small changes before fixing .gitignore.