nothing done, maybe I removed a line but git marks the file as modified