fixed doc problem on dfsg-orig branch, this patch no longer needed