Fixed model specification

The uncertain model was incorrectly specified in the Snowshoe example,
and this necessitated the rewriting of some of the text.