A couple more tweaks to CONTRIBUTING.md; #587