Minor tweaks to the contrib guide