HDMI fixes.
Slightly nicer script.