Emends an example

The elements' names don't have anything to do with their position.