Multiple changes

- Minor documentation updates.
- Removed an unused header.