Add specification of invariance of name field

Fixes #53
Merge pull request #68 from gthb/issue-53-fixed

Add specification of invariance of name field