Minor fixes to RESOLUTION.md