Name tweak

Solves #2.