Issue #5: adjusted .gitignore