Minor changes and reuploading .gitignore (seems to have disappeared)