doc fix for deb plugin