Further tweaks for #22. Bigger DK1 editor.