Fixing error when building the documentation