Fix an error seen when building documentation