Some more updates to DISTRIBUTING.md