Issue #80: Renamed previous commit filename to agree with .gitignore