Fix mismatch in examples. Fixes #7.