Fix publishing script error, caused by changes in docs.