update_S signature has wrong codomain in Example 1.2.1.8

[kevinclancy]

I believe in example 1.2.1.8, the example beginning with "If a deterministic system has a small...", the signature of $$update_S$$ should be $$State_S \times In_S \to State_S$$ rather than $$State_S \times In_S \to In_S$$.