minor tweaks wrt sharing