tweaks; also to .gitignore