fixup! Fix bug in "ignore" option behavior
fixup! Fix bug in "ignore" option behavior