trivial renaming
Fix #24. It almost scared me :-)