s/KnownLit/KnownSymbol/g and a typo fix