some minor fixes to the contrib doc