Fix a typo.
Update docs.
Add cyclic inclusion detection.