fix to the documentation build