Changed options to be lax about smarttabs