Fix up mistakes in REST and ConnectionManager docs.

Fixes #1829