[dist] small tweaks