Fix 'make doc'