Fix building documentation