Change name.

I don’t like the name and it’s already used by someone else, anyway.