Further minor changes and improvements, add a gitignore file
Minor textual changes