Retoring default IE11 view source

I have changed my view source editor (Tools > Internet Options > Programs > HTML Editor) to a different program.

I would like to change it back to the default IE11 source viewer but the only options in my are:

Microsoft Office Excel, Microsoft Office Publisher, Microsoft Office Word, Notepad, and TextPad.