corrected examples

Examples in the manual did not work after copy-pasting due to ', now all
are with "