What's the correct way to set the doctype to HTML?

You got it!

We set the doctype to HTML by using <!doctype html>.