Minor fix to avoid changing master gitignore