file accidentally changed; revert to previous version