Fix user documentation build

Currently, the build of the user documentation fails. We need to get this fixed.