Fix doctools URL.