Fix documentation builder.
Really fix doc. For now.