Minor change to ignorefile