Fix building docs