#898 "HTML label: NPE when entering HTML label"