Correct documentation for State.Syms0().