Fixed bug in bad include (documentation problem).

Bump #22.