fix publication for crabserver issue #4306