Fix building of docs.