Old ignore was still in dump.cs