minor changes based on feedback

* fixed a typo
* re-worded definition of Inverse Functional Identifier