Fixes and updates to EIP's documentation.

Terminal ;)