HDMI Discussion: Fix typos.