Fixing some example errors

Fixing errors.

Not tested in Whiley play.