Fixes and updates to EIP's documentation.