documentation build fix #2