One more fix in publish.sh