Tweaks to 6.md