minor polishes for most picard tools