Fix documentation build.

Also fix bad doc do to re-use of throwInstantiationError