Fix van GitIgnore