Fixed weird Git crash

hopefully it will never happen again...github...