Scintilla tweaks