Fixed example semantics (thanks, @stephenplusplus)