fix documentation build (again)