instructions for "make labelcheck" and errata numbers in CONTRIBUTING.md