Fix INFRASTRUCTURE.md