rock-export: fix doc