BUG: Remove the use of the undocumented @ shortcut in our examples.

We don't need this excessive abbreviation.