various small changes

For some reason the .gitignore is not ignoring the files...