fix 'make docs'