! Changing minimal tab width now has effect again (no error report before)