Fix typo and add HDMI citation