Update html-text-editor.js

Forgive me about my perfectionist.