Minor tweaks to WebRTC infrastructure article