Some minor fixes to SmtEngine strings settings.