Fix typo in proceedings config.