Add ignore setting for bad-whitespace