Formatting nitpicks in CONTRIBUTING