rename an example to remove an in-joke

Yes I'm terrible at mental arithmetic, but that's not actually what the example
is about.