Add specification of invariance of name field

Fixes #53